Kevin Ryde <user42 at zip.com.au>
authorGlenn Morris <rgm@gnu.org>
Fri, 10 Jul 2009 04:43:37 +0000 (04:43 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 10 Jul 2009 04:43:37 +0000 (04:43 +0000)
commitc18cc6c9dd33aef1bfc43602d403cd3251cdf80e
treeabcda410f5e9dd96a5569d5a82fc444a9f292ac0
parent8fefb2b604b1810518103f60ab933da43c61c412
Kevin Ryde  <user42 at zip.com.au>

Fix names of some elements.
etc/ChangeLog
etc/compilation.txt